<body>
Contains classes for verifying type information.

<p>Type nodes are transformed into Type instances during semantic analysis.
The type instances are unique, so equality of types can be quickly evaluated.
</body>
